Création du groupe « Stratégies Plus »

Combinatoire autour du groupe symétrique

Publications Du Groupe « Vérification Et Méthodes Formelles »

titative model-checking of one-clock timed automata under probabilistic semantics. [4] Bernard Boigelot and Julien Brusten. A generalization of cobham's theorem to automata over real numbers.

Schwannome cervical du nerf vague: Stratégies diagnostique et thérapeutique

Les schwannomes cervicaux sont des tumeurs bénignes des nerfs périphériques développées exclusivement à partir des cellules de Schwann. L'atteinte du nerf vague cervical est relativement rare, et les auteurs en rappellent, à partir d'un cas, les signes radiologiques évocateurs ainsi que les caractéristiques histologiques. Le traitement de ces tumeurs est chirurgical. Un patient de 32 ans consul...

Question-Réponse multilingue : influence du multilinguisme et stratégies

This articles presents a bilingual question answering system, which is able to process questions in French and to find the answer in documents in English (or eventually the other way around). Two cross-langual strategies are described and evaluated, which concern at least the information retrieval steps, but can also be used by the answer extraction module. First, we study the contribution of b...

Groupe ACROE-ICA Ingénierie pour la création artistique : geste, musique, mouvement, image

L’ACROE, centre de recherche et de création en convention avec le ministère de la Culture et de la Communication, et l’ICA, Laboratoire d’ingénierie de la création artistique de l’Institut Polytechnique de Grenoble, sont deux organismes associés pour mener un programme de recherche, d’innovation technologique, de création et de formation dans le domaine des arts portés par les nouvelles technol...